コンパクト生成弱Hausdorff空間と凝縮数学の基礎

本稿では、代数的位相幾何学 (algebraic topology) の基盤となるコンパクト生成空間 (compactly generated space) およびコンパクト生成弱Hausdorff空間 (compactly generated weakly Hausdorff space) の圏 $\mathbf{CGWH}$ の厳密な構成、そしてそれらが抱える圏論的限界を克服するために提唱された現代の凝縮数学 (condensed mathematics) のパラダイムシフトについて、自己完結的 (self-contained) に解説します。

1. コンパクト生成化 ($k$-化) とは何か

位相空間の行儀を良くするための最も基礎的な操作がコンパクト生成化 (compactly generatedification) であり、通称「$k$-化」と呼ばれます。幾何学的な直感を保ったまま、空間の集合としての元はそのままに、「コンパクトな図形たちと矛盾しない範囲で、位相（開集合）を限界まで細かく（多く）作り直す」操作です。

定義 (コンパクト生成化 / compactly generatedification): 位相空間 $X$ が与えられたとき、新しい位相空間 $k(X)$ を以下のように構成する。 同様に、閉集合 (closed set) も外部からのテスト写像 (test map) の逆像が閉集合になるかで判定される。

元の空間 $X$ で開集合だったものは当然この条件を満たしますが、$k(X)$ ではこの条件さえクリアすれば新しい開集合として認められます。したがって、恒等写像 (identity map) $\mathrm{id}: k(X) \to X$ は連続になります。

注意 (現代的定義と伝統的定義の違い): 古い教科書では $k(X)$ の開集合を「任意のコンパクトな部分空間 (compact subspace) $K \subseteq X$ に対して $U \cap K$ が $K$ で開集合になること」と定義することがありました。しかし $X$ がHausdorffでない場合、$K$ 自体が非Hausdorffな病的空間になるリスクがあり、写像空間 $Y^X$ を用いたデカルト閉性 (cartesian closedness) が崩壊します。そのため、現代では必ず上記のように「コンパクトHausdorff空間 (compact Hausdorff space) からの連続写像」を用いて定義されます。

圏論的に見ると、$k$-化は位相空間の圏 $\mathbf{Top}$ からコンパクト生成空間の圏 $\mathbf{CG}$ へのコアレフレクション (coreflection) であり、包含関手 (inclusion functor) $I: \mathbf{CG} \hookrightarrow \mathbf{Top}$ に対する右随伴関手 (right adjoint) となります。すなわち、任意の $Y \in \mathbf{CG}$ に対して以下の普遍性質 (universal property) を満たします。 $$ \mathrm{Hom}_{\mathbf{Top}}(I(Y), X) \cong \mathrm{Hom}_{\mathbf{CG}}(Y, k(X)) $$

2. 弱Hausdorff化 ($w$-化) とHausdorff化 ($h$-化)

次に、空間の点を適切に同一視（潰す）して分離公理を満たさせる操作を考えます。代表的なレフレクション (reflection)、すなわち左随伴関手 (left adjoint) として、Hausdorff化 (Hausdorffification) $h(X)$ と弱Hausdorff化 (weak Hausdorffification) $w(X)$ があります。

定義 (弱Hausdorff空間 / weakly Hausdorff space): 位相空間 $X$ が弱Hausdorff (weakly Hausdorff) であるとは、任意のコンパクトHausdorff空間 $K$ と連続写像 $f: K \to X$ に対して、その像 $f(K)$ が $X$ の閉集合 (closed set) になることである。
定義 (Hausdorff化 $h(X)$ と弱Hausdorff化 $w(X)$):

$h(X)$ が「開集合で分離できない点はすべて潰す」全体主義的な操作であるのに対し、$w(X)$ は「外からコンパクトな図形を持ち込んだときに区別できなくなる点だけを潰す」局所的な操作です。この違いは以下の例で明確になります。

例 (潰れ方の違い): 無限集合 $X$ に補有限位相 (cofinite topology) を入れた空間を考えます。この空間は $T_1$ 空間ですが、任意の非空開集合が交わる既約空間 (irreducible space) のためHausdorffではありません。
補有限位相ではコンパクトHausdorff空間からの像は有限集合に限定され、有限集合は閉集合であるため、$X$ は最初から弱Hausdorffです。したがって $w(X) = X$ であり、1点も潰れません。
一方、$X$ からHausdorff空間への連続写像は定値写像しか存在しないため、$h(X) = \{\star\}$ となり、空間全体が1点にクラッシュしてしまいます。

3. $\mathbf{CGWH}$ におけるプッシュアウトと McCord の定理

代数的位相幾何学では、空間の貼り合わせであるプッシュアウト (pushout) が頻繁に登場します。しかし、$\mathbf{Top}$ でのプッシュアウト（直和を同値関係で割った商空間）は、分離公理やコンパクト生成性を保ちません。圏 $\mathbf{CGWH}$ での正しいプッシュアウト $P_{\mathbf{CGWH}}$ は、以下の3ステップで厳密に定義されます。

  1. $\mathbf{Top}$ で通常のプッシュアウト（商空間） $X \cup_A Y$ を作る。
  2. それを $k$-化し、$\mathbf{CG}$ でのプッシュアウト $k(X \cup_A Y)$ を得る。
  3. さらに $w$-化を施し、$\mathbf{CGWH}$ に押し込む。すなわち $P_{\mathbf{CGWH}} = w(k(X \cup_A Y))$。

一般にはステップ3の $w$-化で点が潰れるリスクがありますが、代数トポロジーの主役であるセル複体 (cell complex) の構成などにおいては、この「点の潰れ」が起きないという奇跡が知られています。

定理 (McCordの定理, 1969): $A, X, Y \in \mathbf{CGWH}$ とし、包含写像 $i: A \hookrightarrow X$ が閉包含 (closed embedding) であるとする。このとき、任意の連続写像 $f: A \to Y$ による $\mathbf{CG}$ でのプッシュアウト $k(X \cup_A Y)$ は、最初から弱Hausdorff (weakly Hausdorff) である。すなわち、$w(k(X \cup_A Y)) = k(X \cup_A Y)$ となり、点が一切潰れない。

証明の概略: $A$ が $X$ の閉集合 (closed set) であるとする。商位相 (quotient topology) の性質により、商空間の閉集合は元の空間への逆像が閉集合になるかで決まる。閉包含 (closed embedding) であれば、貼り合わせ先の空間におけるコンパクトHausdorff空間の像が、商空間 $X \cup_A Y$ において適切に閉集合として引き戻されることが保証される。結果として、$k(X \cup_A Y)$ に外部からコンパクトHausdorff空間を連続に写しても、その像は閉集合となり、弱Hausdorff性の定義を自動的に満たす。

4. サブオブジェクト・クラシファイアの不在と代用物

$\mathbf{CGWH}$ はデカルト閉 (cartesian closed) であり非常に優秀ですが、トポス (topos) になるための致命的な欠陥を持っています。それは、厳密な部分対象分類子 (subobject classifier) $\Omega$ を持たないことです。

位相空間の圏では、任意の空間のあらゆる部分集合（開でも閉でもないものを含む）を特性写像 (characteristic map) $\chi_A: X \to \Omega$ の連続写像として引き戻せるような2点空間 $\Omega$ を構成することは不可能です。

Sierpiński空間と開部分対象クラシファイア

完全な $\Omega$ はありませんが、$\mathbf{CG}$ においては「開集合だけを分類する代用物」が存在します。それが Sierpiński空間 (Sierpiński space) $S = \{0, 1\}$ （開集合は $\{\emptyset, \{1\}, \{0, 1\}\}$）です。
任意の $X \in \mathbf{CG}$ に対し、$X$ の開集合全体 $\mathrm{Open}(X)$ と連続写像の集合の間に自然な全単射 $\mathrm{Hom}_{\mathbf{CG}}(X, S) \cong \mathrm{Open}(X)$ が成立し、開部分対象クラシファイア (open subobject classifier) として機能します。

分離公理による悲劇

しかし、$\mathbf{CGWH}$ や $\mathbf{CGHaus}$ では分離公理を課すため、$T_1$ 空間ですらない $S$ は圏から追放されてしまいます。これらの圏で許される2点空間は離散位相を持つ $D = \{0, 1\}$ のみであり、これでは開集合かつ閉集合 (clopen) である部分集合しか分類できません。これは幾何学を記述する上で大きな機能不全でした。

5. 凝縮数学 (Condensed Mathematics) へのパラダイムシフト

「部分対象分類子の不在」と「トポロジーに起因するホモロジー代数（ExtやTorの計算）の崩壊」という病理を根本から解決するために、P. Scholze と D. Clausen によって提唱されたのが 凝縮数学 (condensed mathematics) です。

※翻訳語に関する注意: 英語の "condensed" は物理学の凝縮系物理学 (condensed matter physics) に倣い、日本の数学界では「凝集数学」ではなく「凝縮数学」と訳すのが標準的かつ圧倒的多数派です。

「点」から「層」への転換

彼らは、位相空間 $X$ を「点の集まり」として定義するのをやめ、「プロ有限集合 (profinite set) から $X$ への連続写像全体の集まり」という「影」の情報に注目しました。プロ有限集合とは、有限離散空間の逆極限として得られる、コンパクトかつ完全不連結 (totally disconnected) な空間です。

定義 (凝縮集合 / condensed set): プロ有限集合の圏 $\mathbf{Prof}$ に適切な被覆のルール（グロタンディーク位相）を入れたサイト上の 層 (sheaf) のこと。すなわち、関手 $F: \mathbf{Prof}^{\mathrm{op}} \to \mathbf{Set}$ であって、層条件を満たすものを指す。

通常の位相空間 $X$ は、プロ有限空間 $S$ に対して $\mathrm{Hom}_{\mathbf{Top}}(S, X)$ を対応させることで、凝縮集合の圏 $\mathbf{Cond}(\mathbf{Set})$ の中に情報を失うことなくすっぽりと埋め込むことができます。

なぜこれで世界が変わるのか？

凝縮集合の圏は層 (sheaf) の圏であるため、自動的にトポス (topos) となり、厳密な部分対象分類子 $\Omega$ を持ちます。
さらに、凝縮集合の中でアーベル群の構造を考えた「凝縮アーベル群の圏」は、極めて性質の良いアーベル圏となります。通常の位相空間では余核 (cokernel) を取るとHausdorff性が勝手に壊れるなどの問題がありましたが、凝縮数学の世界では自由に完全列を作り、ホモロジー代数をトポロジーと完全に融合させたまま展開できます。

この理論をさらに強力にするため、プロ有限集合の代わりにコンパクトHausdorff空間の圏における射影対象 (projective object) を用いるアプローチ（Pyknotic set など）もあります。Gleasonの定理によれば、これはまさに 超不連結 (extremally disconnected) な空間です。超不連結 (extremally disconnected) な空間とは、任意の開集合の閉包が再び開集合となる（すなわち clopen になる）空間のことであり、この豊富に存在する clopen 集合の恩恵により、代数的構造が位相的病理に邪魔されることなく展開できるのです。

6. 参考文献および公式リンク集